Math Summarize

http://www.mathcom.com/corpdir/techinfo.mdir/index.html

http://www.faqs.org/faqs/by-newsgroup/sci/sci.math.num-analysis.html

http://mathforum.org/kb/forum.jspa?forumID=13

Lambda calculus (also written as λ-calculus) is a formal system in mathematical logic for expressing computation based on function abstraction and application using variable binding and substitution.

http://plato.stanford.edu/entries/lambda-calculus/index.html#note-2